Operational semantics of Framed Tempura
نویسندگان
چکیده
Article history: Received 27 January 2008 Revised 23 July 2008 Accepted 5 August 2008 Available online 20 September 2008
منابع مشابه
Framed temporal logic programming
A Projection Temporal Logic is discussed and some of its laws are given. After that, an executable temporal logic programming language, called Framed Tempura, is formalized. A minimal model-based approach for framing in temporal logic programming is presented. Since framing destroys monotonicity, canonical models – used to define the semantics of non-framed programs – are no longer appropriate....
متن کاملExecuting Temporal Logic Programs
Temporal logic is gaining recognition as an attractive and versatile formalism for rigorously specifying and reasoning about computer programs, digital circuits and message-passing systems. This book introduces Tempura, a programming language based on temporal logic. Tempura provides a way of directly executing suitable temporal logic specifications of digital circuits, parallel programs and ot...
متن کاملUsing ITL and Tempura for Large-Scale Specification and Simulation
ITL and Tempura are used for respectively the formal speciication and simulation of a large scale system , namely the general purpose multi-threaded data-ow processor EP/3. This paper shows that this processor can be speciied concisely within ITL and simulated with Tempura. But it also discusses some problems encountered during the speciication and simulation, and indicates what should be added...
متن کاملDrosophila Tempura, a Novel Protein Prenyltransferase α Subunit, Regulates Notch Signaling Via Rab1 and Rab11
Vesicular trafficking plays a key role in tuning the activity of Notch signaling. Here, we describe a novel and conserved Rab geranylgeranyltransferase (RabGGT)-α-like subunit that is required for Notch signaling-mediated lateral inhibition and cell fate determination of external sensory organs. This protein is encoded by tempura, and its loss affects the secretion of Scabrous and Delta, two pr...
متن کاملProduction of breaded kilka (Clupeonella cultriventris) using two different batters and determination of chemical, microbial and sensory properties
This study aimed to assess the chemical, microbial and sensory properties in a new product from kilka in mass scale with two different types of batters (simple and tempura batter). Kilka fish were battered in a simple or tempura batters, before being breaded with conventional breading crumbs and pre-fried in sunflower oil at 170°C for 30 sec. The fried samples were then immediately frozen throu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Log. Algebr. Program.
دوره 78 شماره
صفحات -
تاریخ انتشار 2008